Steps Towards Verified Implementations of HOL Light Magnus O. Myreen1 , Scott Owens2 , and Ramana Kumar1 1 Computer Laboratory, University of Cambridge, UK

Source URL: cakeml.org

• Software engineering
• Computer programming
• Computing
• Proof assistants
• Logic in computer science
• Functional languages
• Automated theorem proving
• Theoretical computer science
• HOL
• Logic for Computable Functions
• Automated reasoning
• ML

Mixed Discrete-Continuous Planning with Complex Behaviors Enrique Fernandez-Gonzalez Massachusetts Institute of Technology Computer Science and Artificial Intelligence Laboratory 32 Vassar Street, Building, Cambri

Source URL: icaps16.icaps-conference.org

• Control theory
• Systems science
• Automated planning and scheduling
• Classical control theory
• Metaphysics
• Mathematical optimization
• Systems theory
• Nonlinear system
• Planning Domain Definition Language
• Motion planning
• Controllability
• Trajectory optimization

Job Posting Title: Laboratory Technician III (UCP 5) Electrical and Computer Engineering The University of Connecticut’s Department of Electrical and Computer Engineering (ECE) is seeking applicants for the position of

Source URL: www.ee.uconn.edu

CACHE COHERENCE DIRECTORIES FOR SCALABLE MULTIPROCESSORS Richard Simoni Technical Report: CSL-TROctober 1992 Computer Systems Laboratory

Source URL: www-vlsi.stanford.edu

PROGRAMMING LANGUAGES LABORATORY! Universidade Federal de Minas Gerais - Department of Computer Science POINTER ANALYSIS! PROGRAM ANALYSIS

Source URL: homepages.dcc.ufmg.br

Computational Grids Ian Foster Mathematics and Computer Science Division Argonne National Laboratory Argonne, ILCarl Kesselman

Source URL: grid.desy.de

What Is Decidable about String Constraints with the ReplaceAll Function TAOLUE CHEN, Birkbeck, University of London, United Kingdom YAN CHEN, State Key Laboratory of Computer Science, Institute of Software, Chinese Acade

Source URL: www.cs.rhul.ac.uk

Universidade  Federal  de  Minas  Gerais  –  Department  of  Computer  Science  –  Programming  Languages  Laboratory   INTRODUCTION  TO  LLVM   DCC  888  

Source URL: laure.gonnord.org

Coupled Group Lasso for Web-Scale CTR Prediction in Display Advertising Ling Yan YLING 0718@ SJTU . EDU . CN Shanghai Key Laboratory of Scalable Computing and Systems, Department of Computer Science and Engineering, Shan

Source URL: cs.nju.edu.cn

A Memory Coherence Technique for Online Transient Error Recovery of FPGA Configurations Wei-Je Huang and Edward J. McCluskey CENTER FOR RELIABLE COMPUTING Computer Systems Laboratory, Department of Electrical Engineering

Source URL: crc.stanford.edu